A function from
A
to
A
that is one-to-one and onto.